$\vdash$  $\forall$$i$,$j$:$\mathbb{Z}$. (($i$ =$_{0}$ $j$) = ff) $\Rightarrow$ $i$ $\neq$ $j$